Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
941	A Consistency-Based Approach for Belief Change James P. Delgrande School of Computing Science, Simon Fraser University Burnaby, B.C., Canada V5A 1S6 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2003-09-08 16:17:32 Knowledge representation Logic Logic programming Curry–Howard correspondence Constructible universe Forcing Computer science Conjugate element Mathematical logic Mathematics Belief revision
942	´ THE DISCRETE FRECHET DISTANCE WITH APPLICATIONS by Timothy Randall Wylie Add to Reading List Source URL: www.cs.montana.edu Language: English - Date: 2014-10-27 15:50:51 Applied mathematics Operations research Algorithm Mathematical logic Theoretical computer science Dynamic time warping Dynamic programming Mathematics Control theory Mathematical optimization
943	Belief Change in the Context of Fallible Actions and Observations Aaron Hunter and James P. Delgrande School of Computing Science Faculty of Applied Sciences Simon Fraser University Burnaby, BC, Canada Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2006-11-29 19:55:52 Philosophy of science Critical thinking Belief revision Knowledge representation Logic Logic programming Plausibility structure Theory of justification Causality Epistemology Philosophy Mathematics
944	PDF Document Add to Reading List Source URL: fpt.wdfiles.com Language: English - Date: 2013-02-01 22:08:19 Mathematical logic Theoretical computer science Programming idioms Mathematical optimization Operations research Dynamic programming Algorithm Recursion Overlapping subproblems Mathematics Computer programming Applied mathematics
945	ASYNCHRONOUS MULTI-AGENT REASONING IN THE SITUATION CALCULUS Ryan Francis Kelly Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2009-03-12 20:13:19 Knowledge Multi-agent systems Artificial intelligence Reasoning Logic programming Situation calculus Common knowledge Intelligent agent Modal logic Science Logic Scientific modeling
946	Mart´ın H. Escard´ o. BSc, MSc, PhD Last updated November 14, 2014. See also http://www.cs.bham.ac.uk/ mhe/ I was born in Rio de Janeiro, Brazil. I am married and have three children, born in 1998, 2000 and 2010. Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-11-14 10:40:02 Logic in computer science Formal methods Computability theory Models of computation Dana Scott Semantics of programming languages IEEE Symposium on Logic in Computer Science Computer science Mathematical logic Theoretical computer science Mathematics Applied mathematics
947	Applied Semantics: Specifying and Developing Abstractions for Distributed Computation (Grand Challenge Discussion Paper – GC2, GC4, and GC6) Peter Sewell Keith Wansbrough Add to Reading List Source URL: www.lochan.org Language: English - Date: 2005-03-28 17:11:35 Logic in computer science Programming language semantics Denotational semantics Programming language Semantics Communications protocol OCaml Computer science Computing Theoretical computer science Software engineering
948	Programming Languages Concepts This course teaches concepts in two ways: By implementing interpreters CS3520 Programming Languages Concepts Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Function Differentiation rules First-order logic Mathematics Mathematical logic Lambda calculus
949	An Argumentation-Based Interpreter for Golog Programs Add to Reading List Source URL: ijcai.org Language: English - Date: 2009-06-22 08:17:25 Situation calculus Preference Argumentation theory Rational choice theory Science Golog Tibetan Autonomous Prefecture Critical thinking Thought Logic programming Consumer theory Logic
950	Inequality Constraints in Causal Models with Hidden Variables Changsung Kang Department of Computer Science Iowa State University Ames, IA 50011 Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2007-09-03 13:30:47 Logical syntax Bayesian network Networks Entailment Instrumental variable Inequality Causality Linear programming Variable Logic Mathematics Statistics